(set-logic UFLIA)
(set-info :status unsat)
(declare-sort F 2)
(define-fun g ((C.usr.2.A@0 (F Int Int))) Bool false)
(assert false)
(check-sat)
